This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.

Ce compte rendu a déjà paru dans la revue Perspectives médiévales, 35 | 2014. Nous remercions Agata Sobczyk de nous avoir autorisé à le reproduire ici. F. Pomel (dir.), Cloches et horloges dans les textes médiévaux, Rennes, Presses Universitaires de Rennes, 2012. Le recueil fait suite à trois autres, consacrés à des objets que l'on peut considérer comme emblématiques pour un certain nombre de textes médiévaux, tous parus sous la direction de Fabienne Pomel aux Presses Universitaires de Rennes : (...) (...) - Recensions. (shrink)

We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things, these calculi allows one to prove Herbrand’s theorem for suitable fragments of GI and GIF.

Recent research has documented that affect plays a crucial role in risk perception. When no information about numerical risk estimates is available (e.g., probability of loss or magnitude of consequences), people may rely on positive and negative affect toward perceived risk. However, determinants of affective reactions to risks are poorly understood. In a series of three experiments, we addressed the question of whether and to what degree mental imagery eliciting negative affect and stress influences risk perception. In each experiment, participants (...) were instructed to visualize consequences of risk taking and to rate riskiness. In Experiment 1, participants who imagined negative risk consequences reported more negative affect and perceived risk as higher compared to the control condition. In Experiment 2, we found that this effect was driven by affect elicited by mental imagery rather than its vividness and intensity. In this study, imagining positive risk consequences led to lower perceived risk than visualizing negative risk consequences. Finally, we tested the hypothesis that negative affect related to higher perceived risk was caused by negative feelings of stress. In Experiment 3, we introduced risk-irrelevant stress to show that participants in the stress condition rated perceived risk as higher in comparison to the control condition. This experiment showed that higher ratings of perceived risk were influenced by psychological stress. Taken together, our results demonstrate that affect-laden mental imagery dramatically changes risk perception through negative affect (i.e., psychological stress). (shrink)

This paper sketches the emergence of, and shifts within, the social, legal, and political figurations of sex workers in Poland. By adopting a genealogical perspective, I investigate how sex workers have been (re)constituted as subjects of governance and unimaginable social justice claimants in legislation, political debates, and law enforcement strategies. With a broad temporal scope, this article traces continuities, transformations, and disruptions within modes of sex work governance in Poland from the adoption of the first laws relating to sex work (...) enacted during the early 19th century to the present day. Through analysis of policy documents, scholarly work on the history of sex work policies in Poland, and personal accounts by sex workers, I identify and examine two dominant discursive and legal figurations of a sex worker: as a threat, and as a victim in need of rescue and protection. While analysing the emergence of and interplay between these two figurations, this article demonstrates how these seemingly contradictory frames of recognition gradually conjoined within 20th-century Polish sex work governance strategies, rendering sex workers unimaginable subjects of rights and social justice claimants. (shrink)

There is a longstanding discussion whether wide-scope indefinites denote choice functions that are existentially bound or remain free. Data from Ga, an under-researched language spoken in Ghana, show that there are wide-scope indefinites denoting existentially bound skolemized choice functions whose parameter is bound by a higher quantificational NP, free skolemized choice functions with the speaker or a higher quantificational NP as a parameter, and narrow scope quantificational indefinites. Thus the data show that both existentially bound and free skolemized choice functions (...) are attested in natural language shedding new light on the semantics of indefinites. (shrink)

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.

The aim of this study was to explore the existence of moral distress among nurses in Lilongwe District of Malawi. Qualitative research was conducted in selected health institutions of Lilongwe District in Malawi to assess knowledge and causes of moral distress among nurses and coping mechanisms and sources of support that are used by morally distressed nurses. Data were collected from a purposive sample of 20 nurses through in-depth interviews using a semi-structured interview guide. Thematic analysis of qualitative data was (...) used. The results show that nurses, irrespective of age, work experience and tribe, experienced moral distress related to patient/nursing care. The major distressing factors were inadequate resources and lack of respect from patients, guardians, peers and bosses. Nurses desire teamwork and ethics committees in their health institutions as a means of controlling and preventing moral distress. There is a need for creation of awareness for nurses to recognize and manage moral distress, thus optimizing their ability to provide quality and uncompromised nursing care. (shrink)

The “New Biology” that arose in the Eastern Block during Stalinist times was based on the idea of the heritability of acquired characteristics. In rejecting the paradigm of Mendelian chromosome genetics as well as science-based farming, the New Biology led to a deterioration of scientific life and the free exchange of ideas. In imposing Lysenko’s ideas onto zoology, the New Biology adopted the totalitarian language of Newspeak, which dominated public discourse in communist countries. Newspeak had several defining elements: a limited (...) dictionary, strong valuations, binary oppositions, the magical function of language, militarization, and ritualization of language. In this study, the concept of Newspeak is used to analyze primary sources in Polish zoology in the period between 1948 and 1956. Once the practice of Newspeak began to wane, so did the New Biology that had been founded on this specific ritualistic language. (shrink)

Since ancient times, philosophers have recognised that truth comes in many 'modes', so that a proposition can be not only true or false, but also, for example, 'necessary' or 'possible'. These ideas led to the modern field of modal logic, a lively area of research at the interface of philosophy, mathematics and computer science. -/- Nowadays, the term 'modal logic' is understood in a broad sense, allowing it to encompass logics for reasoning about seemingly unrelated phenomena such as knowledge, obligations, (...) time, space, and proofs, among many others. Contemporary research in modal logic draws on techniques from many disciplines, including complexity theory, combinatorics, universal algebra, category theory, topology, and proof theory. -/- These proceedings record the papers presented at Advances in Modal Logic 2024, the 15th in a series of biennial conferences that aim to report on important new developments in pure and applied modal logic. Topics in this issue include epistemic modal logic, constructive and many-valued modal logic, unification, alge aic and neighbourhood semantics, proof theory and complexity of modal logics, conditional and quantified modal logic. (shrink)

Tarot cards are one means to unlocking an image. In this article, the image is that of the Albanian writer and political dissident Musine Kokalari at her 1946 trial. Her photograph features in Albanian discourses about its communist past. I argue that the image provides clues as to the manner in which the country has faced up to its own history. For what is certain is that the Albanian account of the Enver Hoxha dictatorship remains incomplete. Drawing on Walter Benjamin’s (...) notion of ‘here-and-now in a flash’, and Roland Barthes’ and Italo Calvino’s reflections on photography and the power of the visual, we can identify at least two distinct memory regimes in the relevant historical, legal and political narratives. (shrink)

The playwright Edward Bond has recalled the impact of seeing photographs of Nazi atrocities at the end of World War Two: “It was the ground zero of the human soul.” He argues we need a different kind of drama, based in “a new interpretation of what it means to be human.” He has developed an extensive body of theoretical writings to set alongside his plays. Arguably, his own reflections on “what it means to be human” are based in his reaction (...) to the Holocaust, and his attempt to confront “the totality of evil.” Bond argues we are born “radically innocent.” There is a “pre-psychological” state of being. The neonate does not “read” ideology; it has to use its own imagination to make sense of the world. To enter society, however, the child must be corrupted; its imagination is “ideologized.” Bond claims that “radical innocence” can never wholly be lost. Through drama, we can escape “ideology” and recover our “autonomy.” It leads us to confront extreme situations, and to define for ourselves “what it means to be human.” The terms of Bond’s theory are Manichean. His arguments are based in the assumption that there is a fundamental “humanity” that exists prior to socialization. In fact, the process of socialization begins at birth. As an account of child development, “radical innocence” does not stand up to close scrutiny. Arguably, however, Bond’s work escapes the confines of his own theory. It can be read, not in terms of the “ideologized” vs. the “autonomous” mind, but rather, in terms of “conscious” and “unconscious.” In Coffee, Bond takes character of Nold on a journey into the Dantean hell of his own unconscious. He does not recover his “innocence,” but, rather, he has to face the darkness of both history and the psyche. (shrink)

In 2003, Martin Rees referred to the present as “mankind’s final century.” A few years later, Slavoj Žižek wrote that humankind is heading towards “apocalyptic zero-point,” when the ecological crisis will most probably lead to our complete destruction. In his 2017 collection, Diary of the Last Man, Welsh poet Robert Minhinnick offers readers a meditation upon Earth at a liminal moment—on the brink of becoming completely unpopulated. Imagining a solitary human being, living in the midst of environmental collapse, Minhinnick yet (...) entwines different voices—human and non-human—operating across vast spans of time. The speaker of the poems moves freely through different geographies and cultural contexts, but the voice that starts and ends the journey, seems to be the voice of the poet himself: he is the last man on earth, a survivor of ecological disaster. The paper discusses Minhinnick’s collection as a projection of the world we now inhabit into a future where it will exist only in the form of nostalgic memories. The analysis focuses on the role of objects in the construction of the world-within-the poem, where the fragments of human civilization are being claimed by forces of the environment—engulfing sand, progressive erosion—forming a retrospective vision of our “now” which will inevitably become our “past.”. (shrink)

Ce livre de Barbara Klich-Kluczewska est sans aucun doute un des ouvrages les plus marquants des dernières années en histoire culturelle de l’État polonais communiste. Barbara Klich Kluczewska, qui est rattachée à la faculté d’histoire de l’université Jagellonne de Cracovie, est une des figures dirigeantes de l’histoire anthropologique et de l’histoire du genre en Pologne. Intéressée par les méthodes de l’histoire orale, visuelle et comparative, elle a publié une micro-histoire de la vie priv...

Tezy B. Williamsa z artykułu Wewnętrzne i zewnętrzne racje do działania bywają odrzucane jako zbyt trywialne, aby mieć jakąś doniosłość; czasem są odrzucane jako zbyt niebezpieczne, aby być prawdziwymi. Prawda, jak zwykle, leży gdzieś pośrodku. Williams ma coś ważnego do powiedzenia nam, lecz nie jest to coś, co mogłoby przewrócić nasz świat do góry nogami. Przeciwnie, może dostarczyć mu bardziej stabilnego fundamentu.

The study was aimed at validating the Polish version of the Trait Emotional Intelligence Questionnaire-Short Form. Our findings confirm the reliability and validity of the scale. With respect to reliability, internal consistency coefficients of the TEIQue-SF were comparable to those obtained using the original English version. The evidence of the validity of the TEIQue-SF came from the pattern of relations with the other self-report measure of EI, personality measures, as well as affective and social correlates. We demonstrated that the TEIQue-SF (...) score correlated positively with scores on the Emotional Intelligence Questionnaire. The TEIQue- SF score correlated negatively with Neuroticism and positively with Extraversion, Openness, Agreeableness, and Conscientiousness. In addition, scores on the TEIQue-SF were related to dispositional affect, i.e., correlated positively with positive affectivity and negatively with negative affectivity. The TEIQue-SF score correlated positively with social competencies as measured with the Social Competencies Questionnaire. We also found that trait EI, as measured with the TEIQue-SF, was positively related to the richness of one’s supportive social network and this relationship remained statistically significant even after controlling for Big Five variance. We also demonstrated that scoring on the TEIQue-SF was positively related to satisfaction with life and negatively related to perceived stress and these relationships remained significant, even after controlling for positive and negative affectivity. Taken together, these findings suggest that the Polish version of the TEIQue-SF is a reliable and valid measure that inherits the network of associations both from the original version of the TEIQue-SF and the full form of the Polish TEIQue. (shrink)

Supply chains are an indispensable element of any global economy. At the same time such supply chains create a societal and environmental burden. Drastic actions are required to mitigate these effects. Supply chains should become responsible and sustainable (where responsibility and sustainability are understood in a broad sense) addressing economic, political, societal, legal, human rights, ethical and environmental concerns. This research shifts from the question of why companies should implement responsibility and sustainability into supply chains, to how they should do (...) so effectively. Illustrated by a case study of Sedex, a collaborative platform for buyers and suppliers, this paper proposes three solutions for responsible and sustainable supply chain management (SCM). Firstly, supply chains have to be supported by research and innovation (R&I). Secondly, supply chains should be based on multi-stakeholder efforts of industry, governmental and non-governmental organisations. Thirdly, the responsibility should lie not only with an individual company and its employees, but also with organisations of companies (supra-agency). As a result, responsible and sustainable supply chains require technological, political and ethical solutions involving the development of sound, multi-stakeholder business and governance models. These models should be based on the equal consideration of all three dimensions of sustainability (economic, environmental and social), the cooperation of the partners in the chain, strengthening long-term relationships and legitimate requirements of the stakeholders of a supply chain. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

Deep brain stimulation (DBS) is a developing technology. New generations of DBS technology are already in the pipeline, yet this particular fact has been largely ignored among ethicists interested in DBS. Focusing only on ethical concerns raised by the current DBS technology is, albeit necessary, not sufficient. Since current bioethical concerns raised by a specific technology could be quite different from the concerns it will raise a couple of years ahead, an ethical analysis should be sensitive to such alterations, or (...) it could end up with results that soon become dated. The goal of this analysis is to address these changing bioethical concerns, to think ahead on upcoming and future DBS concerns both in terms of a changing technology and changing moral attitudes. By employing the distinction between inherent and noninherent bioethical concerns we identify and make explicit the particular limits and potentials for change within each category, respectively, including how present and upcoming bioethical concerns regarding DBS emerge and become obsolete. Many of the currently identified ethical problems with DBS, such as stimulation-induced mania, are a result of suboptimal technology. These challenges could be addressed by technical advances, while for instance perceptions of an altered body image caused by the mere awareness of having an implant may not. Other concerns will not emerge until the technology has become sophisticated enough for new uses to be realized, such as concerns on DBS for enhancement purposes. As a part of the present analysis, concerns regarding authenticity are used as an example. (shrink)

many symbols. We define o, as the probability that an arbitrary machine be circular and we prove that o, is a random number that goes beyond..

Academic dishonesty has serious consequences for human lives, social values, and economy. The main aim of the study was to explore a model of relations between personal and cultural variables and academic dishonesty. The participants in the study were N = 2,586 individuals from nine countries (Pakistan, Israel, Italy, India, the USA, Peru, Romania, Ghana, and Poland). The authors administered the Academic Dishonesty Scale to measure academic dishonesty, the Kessler Psychological Distress Scale to measure distress, the Almost Perfect Scale – (...) Revised to measure perfectionism, the Brief Self-Control Scale to measure self-control, and the Singelis Scale to measure independent self-construal. The results showed that the theoretical model was well fitted to the dataset in six countries: Pakistan, the United States, Romania, Ghana, Israel, and Poland. However, it was not well fitted in Italy, India, and Peru. Our results also showed that perfectionism significantly predicted academic dishonesty, but not in all countries. Self-control significantly predicted cheating, falsification, and plagiarism in the USA. Moreover, we found that distress was related to cheating o0nly in Ghana. Finally, independent self-construal predicted academic dishonesty. Our findings provide a cross-cultural contribution to the debate on academic dishonesty by highlighting its significant predictors and may inform interventions aimed at eliminating it. Our results can be used in preventing and curbing academic dishonesty. Knowledge on cross-cultural differences can be useful in international education for example, as an indicator accepting or relaxing attitude toward academic dishonesty in students from different countries. (shrink)

In my essay, I offer an interpretation of Giorgio Agamben’s political thought as a case of philosophical perversion. According to Lacan, perverse practice is based on a structural non-personal enjoyment, in which a pervert assumes the role of an executioner, meticulously executing his task. My analysis will focus on Agamben’s perverse use of the messianic discourse, the aim of which is to explode it from within: while applying all elements of the messianic idiom, Agamben assumes a mission the goal of (...) which is to deactivate all mission and revoke all vocations. As he states in reference to Bartleby the Scrivener as the possible figure of the Messiah, to fulfill the Torah, i.e. the religious law, is to “destroy it from top to bottom.” I will thus claim that Agamben’s strategy of deactivation – a vocation to end all vocation – can be interpreted as a deliberate methodical use of perversion, that is, a position which simultaneously obeys and destroys the law. Although critical of Agamben’s method, I will not use the Lacanian frame of perversion in a value-charged manner. I want to present it as one of the late-modern philosophical modes of thinking, which became so widely seductive precisely of its powerful perverse component. (shrink)

Mesmo com avanços significativos referentes à inclusão das pessoas com deficiência, a comunidade surda ainda enfrenta diversos desafios. Em 2002, a LIBRAS foi reconhecida como meio de comunicação da comunidade surda e, em 2015, a Lei Brasileira de Inclusão garantiu acesso a todos os espaços, inclusive de saúde e a psicoterapia é um desses espaços. O objetivo geral desta pesquisa foi identificar as contribuições e os desafios da psicologia para a realização do atendimento psicoterapêutico acessível em LIBRAS. Os objetivos específicos (...) buscaram compreender a importância da atuação psicológica para surdos; investigar a inclusão da comunidade surda no acesso à saúde e à psicoterapia; identificar os locais que possuem psicoterapia bilíngue em LIBRAS na Bahia; e descrever os desafios e possibilidades da psicoterapia em LIBRAS. É uma pesquisa qualitativa, realizada através da revisão bibliográfica nas bases de dados SciELO, BVS e o acervo do GTPBS/ CRP - 03. Os principais resultados demonstraram que na Bahia existem dois locais que possuem psicólogos bilíngues em LIBRAS. A formação em LIBRAS, o conhecimento sobre a cultura surda e a compreensão da subjetividade da pessoa surda são necessários na formação da/o psicóloga/o que desejam atuar com este público. (shrink)

El objetivo de este artículo consiste en analizar las definiciones del término terrorismo que preponderan en el discurso académico occidental. Este análisis permitirá constatar una intrínseca imposibilidad de formular una definición consensuada de dicho término. A lo largo del texto se defenderán las siguientes tesis: a) Las definiciones analizadas del término describen, de manera general, el modo en que operan las relaciones capitalistas de producción dentro de su actual etapa histórica. b) Dichas definiciones constituyen, en realidad, la proyección de los (...) elementos insostenibles del propio mundo social en el enemigo, puesto que la figura del terrorista islámico es construida como su reflejo. Se sostiene que el dispositivo del “terrorista islámico” responde a la urgencia de estabilizar las relaciones de poder existentes, demostrando las dificultades de las sociedades capitalistas de conservarse sin la figura del enemigo. (shrink)

This paper presents the most relevant criteria considered in the face of a lack of resources and medical infrastructure to prioritize the treatment of patients affected by the COVID-19 pandemic. From a systematic review, points of view have been collected considering the medical and social fields. Multiple divergences were found in these views depending on the countries, resources, religious approaches, and political aspects that have been adapted according to the circumstances of each nation. Keywords: Triage, COVID-19, public health.

Machine generated contents note: Chapter 1 -- The Prison of the Known -- Chapter 2 -- Can We Live without Conflict? -- Chapter 3 -- The Meaning of Dialogue -- Chapter 4 -- Practice and Solidarity: We Are the World -- Chapter 5 -- Science and the Religious Mind -- Chapter 6 -- A Call for Active Being: Being at Home in the World.

An icon is part of the visible world, moreover, of things that are visible in a second degree. It is not only a sensitive thing, but a sensitive image of a sensitive entity. As an eikon, it is located in a platonic sense among the lowest degree of the doxa, and within the lowest degree of the scale of being. However it is not a simple sensitive and illusory representation of God, such as one criticized from a Kantian point of (...) view. The profound sense of an icon lies in its opening towards the invisible. An icon tries to capture the invisible. How is this meeting point of the visible and the invisible entangled? Can an icon really allow us to “see” the invisible or is it only a profanation of the invisible? It is my aim to analyze those questions in the following article. (shrink)

Recent years have brought enormous growth in the number of women-only art exhibitions. These exhibitions are accompanied by discussions that concentrate on curatorial feminist activism. In this text, I propose a different perspective by taking into consideration all exhibitions where the participants were determined by social category and which were organized in one country during one year. This perspective not only allows us to remark on and analyse activities that otherwise remain unnoticed but also encourages us to extend our understanding (...) of politics behind women-only initiatives. These exhibitions are generally intended to increase the capital of women artists, and to shift forces within the art and social fields in favour of women. However, as my analysis demonstrates, the organizers of different exhibitions occupy different places both in the art field and in the social field, and it is their position that determines, to a large extent, what changes they envision, what objectives they – in consequence – have and how they formulate their politics. This text also offers a reflection on whether the objectives behind organizing women-only shows has been constant or if they are a result of the current situation of women. (shrink)

Health Care Centres are institutions which, because of their specificity and character, are particularly exposed to various kinds of risk. One of the most important and most frequently used methods of risk management is the black spots method. The research material collected for the study comes from one of the hospitals in Wrocław. All hospital stays of the C22 (Face and Jaw Surgery Ward) and H05 (Injury and Orthopaedics Surgery Ward) settlement groups (DRG) were analysed - a total of 178 (...) hospitalisations. The black spots method was used in the study, which consisted of risk identification, the ordering of threats and proposals for remedial actions. Using the black spots method, it was possible to identify adverse events that occurred during the hospitalisation of patients with H05 and C22 DRGs in the Injury and Orthopaedics Surgery Ward and Facial and Jaw Surgery Ward. In both cases, the treatment costs for patients with complications were higher than for the stays without complications. (shrink)